Approach to test program development for multilevel verification
نویسندگان
چکیده
منابع مشابه
Approach to Development Metrological Software Test for Verification Intelligent Instrumentation
There is considered some methods of metrology testing of intelligent measurement systems. Also there is shown the necessity of simulation of components of measurement channel for investigation of the intelligent functions of the intelligent measurement systems in the accelerated time scale. Developed the metrology software test of temperature measurement channel using thermocouple. The results ...
متن کاملa new approach to credibility premium for zero-inflated poisson models for panel data
هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...
15 صفحه اولA Synchronous Approach to Threaded Program Verification
Modern systems involve a complex organization of computational processes sharing access to both processors and resources. The use of threads in programming provides a method in which lightweight processes may be given specific tasks that can be carried out either independently or in cooperation with other threads. The correct and efficient use of shared resources between threads relies on synch...
متن کاملTowards a Transformational Approach to Program Verification
Although most typically used in other contexts, program transformations can simplify program veri-cation by transforming a program containing complex language features into a semantically equivalent program containing only simpler language features. The proof of the transformed program can then be performed using a set of proof rules for only the simpler features. There are tradeoos between the...
متن کاملA Heuristic Approach to Program Verification
We present various heu r i s t i c techniques fo r use in proving the correctness of computer programs. The techniques are designed to obta in automat ical ly the " induc t i ve asser t ions" attached to the loops of the program which previously required human "understanding" of the program's performance. We d i s t i ngu ish between two general approaches: one in which we obta in the induct iv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS
سال: 2019
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2019-31(3)-5